1. Formal approaches to software testing :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Formal methods (Computer science) ; Congresses ; Computer software ; Testing ; Congresses ;

2. Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Formal methods )Computer science(,Testing -- Congresses ، Computer software

رده :
QA
76
.
L28
Vol
.
2931

3. Formal approaches to software testing and runtime verification

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Formal methods (Computer science) ; Congresses. ; Computer software ; Testing ; Congresses. ;

4. Formal approaches to software testing : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Formal methods )Computer science(,Testing -- Congresses ، Computer software

رده :
QA
76
.
L28
Vol
.
3395

5. Proceedings

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Computer software-- Reliability-- Congresses,، Computer software-- Testing-- Congresses,، Debugging in computer science-- Congresses

رده :
QA
76
.
6
.
I55
1975

6. Runtime Verification

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer software -- Verification -- Congresses,Formal methods (Computer science) -- Congresses,Computer software -- Testing -- Congresses,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها,روش‌های صوری (کامپیوتر) -- کنگره ها,آزمون‌های کامپیوتری -- نرم‌افزار -- کنگره ها

رده :
QA
76
.
76
.
V47
R82
2015
E-Book
,

7. Runtime verification

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses

رده :
QA76
.
76
.
V47
R8
2011eb

8. Runtime verification :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses

رده :
QA76
.
76
.
V47
R8
2013

9. Runtime verification :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.

رده :
QA76
.
76
.
V47

10. Software analysis, testing, and evolution :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software-- Development, Congresses.,Computer software-- Testing, Congresses.,Computer networking & communications.,Computer software-- Development.,Computer software-- Testing.,Computers-- Hardware-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.

رده :
QA76
.
76
.
T48

11. Testing of software and communicating systems :20th IFIP TC 6/WG 6.1 international conference, TestCom 2008, 8th international workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 : proceedings

کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)

موضوع : Congresses ، Telecommunication systems - Testing,Congresses ، Computer software - Testing

12. Testing of software and communication systems

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer programs-- Testing,Computer software-- Testing,Telecommunication systems-- Testing, Congresses

رده :
TK5101
.
A1
I333
2009eb

13. Testing software and systems :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer software ; Testing ; Congresses. ;

14. Testing software and systems

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software-- Testing, Congresses,Software engineering, Congresses

رده :
QA76
.
76
.
T48
I28
2012eb

15. Testing software and systems.

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer software -- Testing -- Congresses,Software engineering -- Congresses,نرم‌افزار -- آزمایش -- کنگره ها,نرم‌افزار -- مهندسی-- کنگره‌ها

رده :
QA
76
.
76
.
T48
I34
2015
E-Book
,

16. Tests and Proofs

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer software -- Testing -- Congresses,Computer software -- Verification -- Congresses,Formal methods (Computer science) -- Congresses,نرم‌افزار -- آزمایش -- کنگره‌ها,نر‌م‌افزار -- راستی‌آزمایی -- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره‌ها

رده :
E-Book
,

17. Tests and Proofs

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer software -- Testing -- Congresses.,Computer software -- Verification -- Congresses.,نرم‌افزار -- آزمایش -- کنگره ها ,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها

رده :
QA
76
.
76
.
T48
2015
E-Book
,

18. Tests and proofs :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer software ; Testing ; Congresses. ;

19. Tests and proofs :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer software ; Testing ; Congresses. ;

20. Tests and proofs

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses

رده :
QA76
.
76
.
T48
T37
2012eb